Model category

Results: 346



#Item
291Internet standards / Information technology management / Network management / System administration / NETCONF / YANG / Request for Comments / Data model / SIMPLE / Internet protocols / Computing / Internet

Internet Engineering Task Force (IETF) Request for Comments: 6244 Category: Informational ISSN: [removed]P. Shafer

Add to Reading List

Source URL: www.ndt-inc.com

Language: English - Date: 2013-02-08 14:28:17
292Model theory / Predicate logic / Lambda calculus / Metalogic / Category theory / First-order logic / Fixed-point combinator / Interpretation / Function / Logic / Mathematical logic / Mathematics

Edward N. Zalta Essence and Modality∗

Add to Reading List

Source URL: mally.stanford.edu

Language: English - Date: 2011-11-28 19:53:20
293Flap / Systems theory / Aircraft / Technology / Radio-controlled aircraft / Model aircraft / Control theory / Servomechanism / Clevis fastener

Special high performance electric model for F5D-400 category SPECIFICATION: Construction

Add to Reading List

Source URL: www.mirourban.com

Language: English - Date: 2014-03-23 13:52:07
294Topology / Mathematics / Model category / Simplicial set / Higher category theory / Quillen adjunction / Nerve / Algebraic topology / Cofibration / Homotopy theory / Category theory / Abstract algebra

Homotopy Theory of Higher Categories

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2010-01-22 15:53:50
295Algebraic geometry / Homotopy theory / Scheme theory / Algebraic topology / Cotangent complex / Moduli space / Nerve / Model category / Sheaf / Abstract algebra / Algebra / Category theory

? W H A T

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2011-07-18 11:03:57
296Homotopy theory / Spectrum / Assembly map / Homotopy category / Michael Atiyah / Cohomology / Algebraic K-theory / Homotopy / Model category / Topology / Abstract algebra / Algebraic topology

Algebraic K-Theory and Equivariant Homotopy Theory Vigleik Angeltveit (Australian National University), Andrew J. Blumberg (University of Texas at Austin), Teena Gerhardt (Michigan State University), Michael Hill

Add to Reading List

Source URL: www.birs.ca

Language: English - Date: 2012-09-19 16:31:38
297Topology / Mathematics / Equivalence of categories / Simplicial set / Algebraic K-theory / Exact functor / Cofibration / Model category / Waldhausen category / Abstract algebra / Homotopy theory / Category theory

K-Theory[removed]), [removed]by Kluwer Academic Publishers.

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2010-01-25 04:50:03
298Algebra / Model category / Algebraic topology / Homotopy category / Quillen adjunction / Simplicial set / Equivalence of categories / Homotopy group / Motive / Abstract algebra / Topology / Homotopy theory

arXiv:1001.2282v4 [math.KT] 5 Feb 2013

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-02-06 22:10:52
299Homotopy type theory / Homotopy group / Homotopy / Model category / Vladimir Voevodsky / Mathematical logic / Type theory / Algebraic topology / Homotopy category / Homotopy theory / Topology / Mathematics

Voevodsky’s Univalence Axiom in Homotopy Type Theory

Add to Reading List

Source URL: e-math.ams.org

Language: English - Date: 2013-09-09 12:55:06
300Algebraic topology / Algebraic geometry / Category theory / Combinatorial species / Sheaf / Model theory / Finite set / Intuitionistic type theory / Finite morphism / Mathematics / Abstract algebra / Algebraic combinatorics

Labelled structures and combinatorial species Brent A. Yorgey

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-01-10 16:35:05
UPDATE